Bisimilarity enforcing supervisory control for deterministic specifications
نویسندگان
چکیده
منابع مشابه
Bisimilarity Enforcing Supervisory Control for Deterministic Specifications
This paper studies the supervisory control of nondeterministic discrete event systems to achieve a bisimulation equivalence between the controlled system and the deterministic specification. In particular, a necessary and sufficient condition is given for the existence of a bisimilarity enforcing supervisor, and a polynomial algorithm is developed to verify such a condition. When the existence ...
متن کاملSupervisory control for modal specifications of services
In the service oriented architecture framework, a modal specification, as defined by Larsen in [5], formalises how a service should interact with its environment. More precisely, a modal specification determines the events that the server may or must allow at each stage in an interactive session. In this paper, we investigate the adaptation of the supervisory control theory of Ramadge and Wonha...
متن کاملOn Non-deterministic Supervisory Control
The supervisory control theory (SCT) is examined in a non-deterministic setting. We show that language controllability of a supervisor is not necessarily equivalent to state controllability when the supervisor is non-deterministic. We give necessary and suucient conditions for when equivalence holds. The input/output interpretation of the SCT is also examined in a non-deterministic setting. It ...
متن کاملObject-Oriented Supervisory Control with a Class of Non- Deterministic Specifications
reusable software components, together with algorithms for automatic synthesis of the control software. In this paper will be shown how a certain type of nondeterministic specification for discrete event systems can be used with the supervisory control theory. A discrete event system will be regarded as a user-resource system, with a set of resources shared by a set of users. The users are seen...
متن کاملSynthesizing deterministic controllers in supervisory control
Supervisory control theory for discrete event systems is based on finite state automata whose inputs are partitioned into controllable and uncontrollable events. Well-known algorithms used in the Ramadge-Wonham framework disable or enable controllable events such that it is finally possible to reach designated final states from every reachable state. However, as these algorithms compute the lea...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Automatica
سال: 2014
ISSN: 0005-1098
DOI: 10.1016/j.automatica.2013.09.025